generic関数宣言内のVariadic Tuple Types

from Variadic Tuple Types

関数宣言の引数部分で［...XS］と書いた時の意味

XSを、配列型ではなく、TypeScriptのTuple型として推論して欲しいときに使う

前提条件

genericな関数に型をつけるときに使える

型引数には、arrayかtupleの制約が入っている必要がある

XS extends unknown[]

XS extends readonly unknown[]

code:例.ts

declare function hoge<XS extends unknown[]>(

values: readonly ...XS

): ...

どう変わるのか

上の前提条件を満たしているときに、[...XS]と書くと、

XSが、配列型ではなく、Tuple型として推論される

XSと[...XS]で意味が変わるの難しすぎない？mrsekut.icon

意味が変わっている例

この記事と同じ関数の定義を使う

普通にただのXSと書いた時、

code:ts

const fn = <XS extends readonly unknown[]>(arr: XS): XS => arr

const hoge = fn('foo', 1); // (string|number)[]

返り値は、['foo',1]だが、(string|number)[]と推論される

[...XS]と書いた時

code:ts

const fn = <XS extends readonly unknown[]>(arr: ...XS): XS => arr;

const t = fn('foo', 1); // string,number

返り値は、[string,number]と推論される

実際に使っている例

Promise.all()の型付け

tupleに対するindex accessに対する推論

ちょっとだけ中心機能とズレている話だけど、これもすごいなmrsekut.icon

ref

code:ts

function head<T extends readonly any[]>(args: readonly ...T) {

const result = args0;

return result;

}

const str = head("foo", "bar" as const); // "foo"

tupleでないと、効能は薄れるが、

code:ts

function head<T extends readonly any[]>(args: ...T) {

const result = args0;

return result;

}

const str = head("foo", "bar"); // string

const num = head(1, "bar"); // number

tupleじゃないと、[1, 'bar']なんてリストは作らないので、結局tuple使う時に嬉しい、という話だなmrsekut.icon

https://qiita.com/uhyo/items/7e31bbd93a80ce9cec84#関数宣言でvariadic-tuple-typesを使う

参考

https://qiita.com/uhyo/items/7e31bbd93a80ce9cec84#関数宣言でvariadic-tuple-typesを使う